$\forall$$a$:$\mathbb{N}$, $b$:$\mathbb{N}^{+}$. $a$ $\mid$ $b$ \& $\neg$$b$ $\mid$ $a$ $\Leftrightarrow$ $a$$<$$b$ \& $a$ $\mid$ $b$